Term Graphs and Principal Types for X
نویسندگان
چکیده
In this paper we study the calculus of circuits X , as first presented in [13] and studied in detail in [5]. We will present a number of new implementations of X using term graph rewriting techniques, which are improvements of the technique used in [6]. We will show that alpha conversion can be dealt with ‘on the fly’, and that explicit copying can be avoided, by presenting, discussing and comparing a number of solutions to these problems. We will define a notion of type assignment on circuits by labelling input and output connectors with types. This notion is then used to define a non-standard notion of type assignment on term graph rewriting. We will show that this system has a principal type property.
منابع مشابه
Term Graphs, α-conversion and Principal Types for X
In this paper we study the calculus of circuits X , as first presented in [13] and studied in detail in [4]. We will present a number of new implementations of X using term graph rewriting techniques, which are improvements of the technique used in [5]. We show that alpha conversion can be dealt with ‘on the fly’, and that explicit copying can be avoided, by o presenting, discussing and compari...
متن کامل-λ coloring of graphs and Conjecture Δ ^ 2
For a given graph G, the square of G, denoted by G2, is a graph with the vertex set V(G) such that two vertices are adjacent if and only if the distance of these vertices in G is at most two. A graph G is called squared if there exists some graph H such that G= H2. A function f:V(G) {0,1,2…, k} is called a coloring of G if for every pair of vertices x,yV(G) with d(x,y)=1 we have |f(x)-f(y)|2 an...
متن کاملCERTAIN TYPES OF EDGE m-POLAR FUZZY GRAPHS
In this research paper, we present a novel frame work for handling $m$-polar information by combining the theory of $m-$polar fuzzy sets with graphs. We introduce certain types of edge regular $m-$polar fuzzy graphs and edge irregular $m-$polar fuzzy graphs. We describe some useful properties of edge regular, strongly edge irregular and strongly edge totally irregular $m-$polar fuzzy graphs. W...
متن کاملThe automorphism group of the reduced complete-empty $X-$join of graphs
Suppose $X$ is a simple graph. The $X-$join $Gamma$ of a set ofcomplete or empty graphs ${X_x }_{x in V(X)}$ is a simple graph with the following vertex and edge sets:begin{eqnarray*}V(Gamma) &=& {(x,y) | x in V(X) & y inV(X_x) },\ E(Gamma) &=& {(x,y)(x^prime,y^prime) | xx^prime in E(X) or else x = x^prime & yy^prime in E(X_x)}.end{eqnarray*}The $X-$join graph $Gamma$ is said to be re...
متن کاملRelationship between Coefficients of Characteristic Polynomial and Matching Polynomial of Regular Graphs and its Applications
ABSTRACT. Suppose G is a graph, A(G) its adjacency matrix and f(G, x)=x^n+a_(n-1)x^(n-1)+... is the characteristic polynomial of G. The matching polynomial of G is defined as M(G, x) = x^n-m(G,1)x^(n-2) + ... where m(G,k) is the number of k-matchings in G. In this paper, we determine the relationship between 2k-th coefficient of characteristic polynomial, a_(2k), and k-th coefficient of matchin...
متن کامل